Introduction to the language of stacks and gerbes

This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology.Comment: 30 page

Orbifolds as Groupoids: an Introduction

This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds

A definability theorem for first order logic

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order formula. Our presentation is entirely selfcontained, and only requires familiarity with the most elementary properties of model theory

On the derived category of an algebra over an operad

We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.Comment: References and remark 2.5 adde

Axiomatic homotopy theory for operads

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.Comment: 29 pages, revised for publicatio

A Homology Theory for Etale Groupoids

Etale groupoids arise naturally as models for leaf spaces of foliations, for orbifolds, and for orbit spaces of discrete group actions. In this paper we introduce a sheaf homology theory for etale groupoids. We prove its invariance under Morita equivalence, as well as Verdier duality between Haefliger cohomology and this homology. We also discuss the relation to the cyclic and Hochschild homologies of Connes' convolution algebra of the groupoid, and derive some spectral sequences which serve as a tool for the computation of these homologies.Comment: 34 page